Higher order maximum persistency and comparison theorems
نویسندگان
چکیده
منابع مشابه
Higher order maximum persistency and comparison theorems
We address combinatorial problems that can be formulated as minimization of a partially separable function of discrete variables (energy minimization in graphical models, weighted constraint satisfaction, pseudo-Boolean optimization, 0-1 polynomial programming). For polyhedral relaxations of such problems it is generally not true that variables integer in the relaxed solution will retain the sa...
متن کاملPersistency for higher-order pseudo-boolean maximization
A pseudo-Boolean function is a function from a 0/1-vector to the reals. Minimizing pseudo-Boolean functions is a very general problem with many applications. In image analysis, the problem arises in segmentation or as a subroutine in task like stero estimation and image denoising. Recent years have seen an increased interest in higher-degree problems, as opposed to quadratic pseudo-Boolean func...
متن کاملComparison of Maximum Entropy and Higher-Order Entropy Estimators
We show that the generalized maximum entropy (GME) is the only estimation method that is consistent with a set of five axioms. The GME estimator can be nested using a single parameter, α, into two more general classes of estimators: GME-α estimators. Each of these GME-α estimators violates one of the five basic axioms. However, smallsample simulations demonstrate that certain members of these G...
متن کاملNatural Inductive Theorems for Higher-Order Rewriting
The notion of inductive theorems is well-established in first-order term rewriting. In higherorder term rewriting, in contrast, it is not straightforward to extend this notion because of extensionality (Meinke, 1992). When extending the term rewriting based program transformation of Chiba et al. (2005) to higher-order term rewriting, we need extensibility, a property stating that inductive theo...
متن کاملMaximum Theorems for Solutions of Higher Order Elliptic Equations by Shmuel Agmon
The classical maximum modulus theorem for solutions of second order elliptic equations was recently extended by C. Miranda [4] to the case of real higher order elliptic equations in two variables. Previously Miranda [3] has derived a maximum theorem for solutions of the biharmonic equation in two variables. In the case of more variables it was observed by Agmon-Douglis-Nirenberg [2 ] that a max...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Computer Vision and Image Understanding
سال: 2016
ISSN: 1077-3142
DOI: 10.1016/j.cviu.2015.05.002